

import java.util.Collection;
import java.util.Iterator;
public class Exla {

	/**
 *
 */
private Collection<Trabajador> Tiene;

/**
 * Returns an iterator over the elements in this collection. 
 *
 * @return an <tt>Iterator</tt> over the elements in this collection
 * @see	java.util.Collection#iterator()
 * 
 */
public Iterator<Trabajador> TieneIterator(){
	return Tiene.iterator();
}

/**
 * Returns <tt>true</tt> if this collection contains the specified element. 
 *
 * @param element whose presence in this collection is to be tested.
 * @see	java.util.Collection#contains(Object)
 *
 */
public boolean containsTiene(Trabajador Tiene){
	return this.Tiene.contains(Tiene);
}




/**
 * Returns the number of elements in this collection.
 *
 * @return the number of elements in this collection
 * @see	java.util.Collection#size()
 *
 */
public int TieneSize(){
	return Tiene.size();
}

/**
 * Returns all elements of this collection in an array.
 *
 * @return an array containing all of the elements in this collection
 * @see	java.util.Collection#toArray()
 *
 */
public Trabajador[] TieneToArray(){
	return Tiene.toArray(new Trabajador[Tiene.size()]);
}


/**
 * Ensures that this collection contains the specified element (optional
 * operation). 
 *
 * @param element whose presence in this collection is to be ensured.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean addTiene(Trabajador Tiene){
	return this.Tiene.add(Tiene);
}

/**
 * Setter of the property <tt>Tiene</tt>
 *
 * @param Tiene the Tiene to set.
 *
 */
public void setTiene(Collection<Trabajador> Tiene){
	this.Tiene = Tiene;
}

/**
 * Removes a single instance of the specified element from this
 * collection, if it is present (optional operation).
 *
 * @param element to be removed from this collection, if present.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean removeTiene(Trabajador Tiene){
	return this.Tiene.remove(Tiene);
}

/**
 *
 */
private Collection<Documento> tiene;

/**
 * Getter of the property <tt>tiene</tt>
 *
 * @return Returns the tiene.
 * 
 */
public Collection<Documento> getTiene()
{
	return tiene;
}
 
/**
 * Returns an iterator over the elements in this collection. 
 *
 * @return an <tt>Iterator</tt> over the elements in this collection
 * @see	java.util.Collection#iterator()
 * 
 */
public Iterator<Documento> tieneIterator(){
	return tiene.iterator();
}

/**
 * Returns <tt>true</tt> if this collection contains no elements.
 *
 * @return <tt>true</tt> if this collection contains no elements
 * @see	java.util.Collection#isEmpty()
 *
 */
public boolean isTieneEmpty(){
	return tiene.isEmpty();
}

/**
 * Returns <tt>true</tt> if this collection contains the specified element. 
 *
 * @param element whose presence in this collection is to be tested.
 * @see	java.util.Collection#contains(Object)
 *
 */
public boolean containsTiene(Documento tiene){
	return this.tiene.contains(tiene);
}

/**
 * Returns <tt>true</tt> if this collection contains all of the elements
 * in the specified collection.
 *
 * @param elements collection to be checked for containment in this collection.
 * @see	java.util.Collection#containsAll(Collection)
 *
 */
public boolean containsAllTiene(Collection<Documento> tiene){
	return this.tiene.containsAll(tiene);
}

/**
 * Returns the number of elements in this collection.
 *
 * @return the number of elements in this collection
 * @see	java.util.Collection#size()
 *
 */
public int tieneSize(){
	return tiene.size();
}

/**
 * Returns all elements of this collection in an array.
 *
 * @return an array containing all of the elements in this collection
 * @see	java.util.Collection#toArray()
 *
 */
public Documento[] tieneToArray(){
	return tiene.toArray(new Documento[tiene.size()]);
}


/**
 * Ensures that this collection contains the specified element (optional
 * operation). 
 *
 * @param element whose presence in this collection is to be ensured.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean addTiene(Documento tiene){
	return this.tiene.add(tiene);
}

/**
 * Removes a single instance of the specified element from this
 * collection, if it is present (optional operation).
 *
 * @param element to be removed from this collection, if present.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean removeTiene(Documento tiene){
	return this.tiene.remove(tiene);
}

/**
 * Removes all of the elements from this collection (optional operation).
 *
 * @see	java.util.Collection#clear()
 *
 */
public void clearTiene(){
	this.tiene.clear();
}

}

///**
// * Setter of the property <tt>documento</tt>
// *
// * @param documento The documento to set.
// *
// */
//public void setDocumento(Documento documento ){
//	this.documento = documento;
//}
///**
// * Getter of the property <tt>documento</tt>
// *
// * @return Returns the documento.
// * 
// */
//public Documento getDocumento()
//{
//	return documento;
//}
///**
// * Getter of the property <tt>trabajador</tt>
// *
// * @return Returns the trabajador.
// * 
// */
//public Trabajador getTrabajador()
//{
//	return trabajador;
//}
///**
// * Setter of the property <tt>trabajador</tt>
// *
// * @param trabajador The trabajador to set.
// *
// */
//public void setTrabajador(Trabajador trabajador ){
//	this.trabajador = trabajador;
//}